Adding deductive logic to a COTS spreadsheet
نویسندگان
چکیده
منابع مشابه
Adding deductive logic to a COTS spreadsheet
We exploit the spreadsheet metaphor to make deductive problem-solving methods available to the vast population of spreadsheet end users. In particular, we show how the function-based problem-solving capabilities of spreadsheets can be extended to include logical deductive methods in a way that is consistent with the existing spreadsheet “look and feel.” The foundation of our approach is the int...
متن کاملNEXCEL, a deductive spreadsheet
Usability and usefulness have made the spreadsheet one of the most successful computing applications of all times: millions rely on it every day for anything from typing grocery lists to developing multimillion dollar budgets. One thing spreadsheets are not very good at is manipulating symbolic data and helping users make decisions based on them. By tapping into recent research in Logic Program...
متن کاملXcelLog: a deductive spreadsheet system
The promise of rule-based computing was to allow end users to create, modify, and maintain applications without the need to engage programmers. But experience has shown that rule sets often interact in subtle ways, making them difficult to understand and reason about. This has impeded the wide-spread adoption of rule-based computing. This paper describes the design and implementation of XcelLog...
متن کاملA Scalable Method for Deductive Generalization in the Spreadsheet Paradigm
In this paper, we present an efficient method for automatically generalizing programs written in spreadsheet languages. The strategy is to do generalization through incremental analysis of logical relationships among concrete program entities from the perspective of a particular computational goal. The method uses deductive dataflow analysis with algebraic backsubstitution rather than inference...
متن کاملAdding a Dimension to Logic Diagramming
A blind learner needs some method other than Venn diagrams to test syllogisms for validity. I present here a sketch of a three-dimensional apparatus, Sylloid, invented to fill this need and to inculcate deep learning rather than the mere ability to get answers right. What one learns in the design process is then used in designing a successor, Son of Sylloid, for sighted users that is pedagogica...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Knowledge Engineering Review
سال: 2007
ISSN: 0269-8889,1469-8005
DOI: 10.1017/s0269888907001166